Trefferliste "Verification & Validation Of AI" - alle Bücher, CDs, LPs und mehr

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

The Curious Bards - (Ex) Tradition

The Curious Bards

Terry Riley (geb. 1935)

The Columbia Recordings

Terry Riley (E-Orgel, E-Cembalo, Keyboards, Goblet Drum, Tamburin), Adam Miller, John Cale

Kate Crawford,

Atlas der KI

Weder künstlich noch intelligent ? eine kritische Analyse der KI-IndustrieWir tendieren dazu, künstliche Intelligenz als eine wundersame und körperlose Form der maschinellen Klugheit zu betrachten. Von de…

Kate Crawford,

Atlas der KI

Weder künstlich noch intelligent - eine kritische Analyse der KI-IndustrieWir tendieren dazu, künstliche Intelligenz als eine wundersame und körperlose Form maschineller Klugheit zu betrachten. Von der pr…

Charles King,

Schule der Rebellen

Race, Sex, Gender: Die erstaunlichen Hintergründe für die Diskussion unserer Gegenwart und der Beginn der modernen Anthropologie um Franz Boas, Margaret Mead und Claude Lévi-StraussRace, Sex, Gender: Mit …

William L. Oberkampf, Christopher J. Roy

Verification, Validation, and Uncertainty Quantification in Scientific Computing

Can you trust results from modeling and simulation? This text provides a framework for assessing the reliability of and uncertainty included in the results used by decision makers and policy makers in ind…

Helen Grime (geb. 1981)

Kammermusik

Hebrides Ensemble

Keep 'Em Flying

Marina Baranova (geb. 1981)

Cosmic Calendar

Martina Baranova (Klavier), Olga Heydrich (Flöte), Vadym Pogorilyy (French Horn), Kana Sugimura (Violine), Martha Bijlsma (Cello)

Henry Purcell (1659-1695)

Lieder "Love Songs"

Dorothee Mields, Lautten Compagney, Wolfgang Katschner

Renaud Capucon - Cinema 2 (180g)

Renaud Capucon, Les Siecles, Duncan Ward

Renaud Capucon - Cinema 2

Renaud Capucon, Les Siecles, Duncan Ward

Danish National Symphony Orchestra - Raiders of the Symphony

Christina Astrand, Beate Mordal, Danish National Concert Choir, Danish National Symphony Orchestra, Christian Schumann

Samuel Barber (1910-1981)

Sämtliche Lieder

Leilah Dione Ezra, Elisabetta Lombardi, Mauro Borgioni, Filippo Farinelli

Irish Baroque Orchestra - Rachel Baptist (Ireland's Black Syren)

Rachel Redmond (Sopran), Irish Baroque Orchestra, Peter Whelan